Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods
by Samson Abramsky,Dov M. Gabbay,T. S. Maibaum
ISBN 13: 9780198537816
Format: Illustrated (556 pages) Publisher: OUP Oxford Published: 25 Jan 2001
Save for later